package com.zonski.jbots.desktop.editer;

/**
 * Created by IntelliJ IDEA.
 * User: Chris Glover
 * Date: Oct 27, 2003
 * Time: 9:17:07 AM
 * To change this template use Options | File Templates.
 */
public interface Tool
{
    void addToolListener(ToolListener listener);

    void removeToolListener(ToolListener listener);

    /**
     * sets the context in which this tool is operating
     * @param context the context in which this tool is operating
     */
    void setContext(JBotsEditerContext context);

    /**
     * starts using the tool
     */
    void activate();

    /**
     * stops using the tool
     */
    void deactivate();

    /**
     * indicates whether the tool is active
     * @return whether the tool is active
     */
    boolean isActive();
}
